数理逻辑,逻辑符号;
George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.
乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家.
互联网Of or relating to symbolic logic.
熟练于逻辑符号的人.
互联网Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.
元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.
互联网英语网 · 英语口语
英语网 · 高中英语
英语网 · 双语新闻
英语网 · 英语口语
英语网 · 双语新闻
英语网 · 日常口语
英语网 · 英语口语
英语网 · 英语词汇
英语网 · 初中英语
英语网 · 双语新闻